大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

0
索取号：
作者：Bezhanishvili、 Nick.、L枚bner、 Sebastian.、Schwabe、 Kerstin.、Spada、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings

0
索取号：
作者：Dehne、 Frank.、Iacono、 John.、Sack、 J枚rg-R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Environmental Software Systems. Frameworks of eEnvironment [electronic resource] : 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

0
索取号：
作者：H艡eb铆膷ek、 Ji艡铆.、Schimak、 Gerald.、Denzer、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Hopper、 Nicholas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

0
索取号：
作者：Bouchou-Markhoff、 B茅atrice.、Caron、 Pascal.、Champarnaud、 Jean-Marc.、Maurel、 Denis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

0
索取号：
作者：Br眉nnler、 Kai.、Metcalfe、 George.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Star Clusters in the Era of Large Surveys [electronic resource] : Proceedings of Symposium 5 of JENAM 2010

0
索取号：
作者：Moitinho、 Andr茅.、Alves、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

VII Hotine-Marussi Symposium on Mathematical Geodesy [electronic resource] : Proceedings of the Symposium in Rome, 6-10 June, 2009

0
索取号：
作者：Sneeuw、 Nico.、Nov谩k、 Pavel.、Crespi、 Mattia.、Sans貌、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Dwarf Galaxies: Keys to Galaxy Formation and Evolution [electronic resource] : Proceedings of Symposium 3 of JENAM 2010

0
索取号：
作者：Papaderos、 Polychronis.、Recchi、 Simone.、Hensler、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

0
索取号：
作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

0
索取号：
作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 7th International Meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers

0
索取号：
作者：Rizzo、 Riccardo.、Lisboa、 Paulo J. G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Intelligent Systems [electronic resource] : 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings

0
索取号：
作者：Kryszkiewicz、 Marzena.、Rybinski、 Henryk.、Skowron、 Andrzej.、Ra艣、 Zbigniew W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Strongly Correlated Systems [electronic resource] : Theoretical Methods

0
索取号：
作者：Avella、 Adolfo.、Mancini、 Ferdinando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Human Interface and the Management of Information. Interacting with Information [electronic resource] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Spatial Data Analysis [electronic resource] : Models, Methods and Techniques

0
索取号：
作者：Fischer、 Manfred M.、Wang、 Jinfeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.